#ifndef AUX_H_
#define AUX_H_

#include "tickets.h"

int fileExists(char * filename);
void printTicketParameters(ticketP * tickp);


#endif /*AUX_H_*/
